Books by author Sriram K. Rajamani

Showing 1 – 3 out of 3 results

1. 

   Verified Software: Theories, Tools, Experiments

   Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   In stock at our supplier - Shipping in 13 - 18 days

   Language: English

   Binding: Paperback

   62.34 €

   Buy
2. 

   Computer Aided Verification

   Kousha Etessami, Sriram K. Rajamani | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   121.07 €

   Buy
3. 

   Model Checking Software

   Thomas Ball, Sriram K. Rajamani | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2003

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.44 €

   Buy

W szczegółach książki sprawdzisz, kiedy ją dostaniesz. Zobacz więcej